Theoretical computer science

Results: 9916



#Item
51Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on

Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on

Add to Reading List

Source URL: loicpauleve.name

- Date: 2015-11-24 05:31:54
    5230th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??

    30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??

    Add to Reading List

    Source URL: users.uoa.gr

    - Date: 2014-06-11 17:30:28
      53Theoretical Computer Science ELSEVIER Theoretical

      Theoretical Computer Science ELSEVIER Theoretical

      Add to Reading List

      Source URL: users.uoa.gr

      - Date: 2014-06-11 17:30:29
        54Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

        Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

        Add to Reading List

        Source URL: i12www.iti.kit.edu

        - Date: 2010-06-02 04:06:07
          55Thfxmtical Computer Science Theoretical Computer Science380 A general conservative extension theorem in process algebras with inequalities

          Thfxmtical Computer Science Theoretical Computer Science380 A general conservative extension theorem in process algebras with inequalities

          Add to Reading List

          Source URL: www.cs.vu.nl

          - Date: 2005-12-23 06:21:56
            56Probabilistic Inference in General Graphical Models through Sampling in Stochastic Networks of Spiking Neurons Dejan Pecevski*, Lars Buesing¤, Wolfgang Maass Institute for Theoretical Computer Science, Graz University o

            Probabilistic Inference in General Graphical Models through Sampling in Stochastic Networks of Spiking Neurons Dejan Pecevski*, Lars Buesing¤, Wolfgang Maass Institute for Theoretical Computer Science, Graz University o

            Add to Reading List

            Source URL: www.gatsby.ucl.ac.uk

            - Date: 2014-10-13 19:51:18
              57Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

              Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

              Add to Reading List

              Source URL: i12www.iti.kit.edu

              - Date: 2010-06-24 07:51:38
                58Discrete Mathematics and Theoretical Computer Science Proceedings AA (DM-CCG), 2001, 165–176 On Minimal Strings Containing the Elements of Sn by Decimation Robert Erra 1 , Nik Lygeros2, and Nigel Stewart 3 1 ESIEA,

                Discrete Mathematics and Theoretical Computer Science Proceedings AA (DM-CCG), 2001, 165–176 On Minimal Strings Containing the Elements of Sn by Decimation Robert Erra 1 , Nik Lygeros2, and Nigel Stewart 3 1 ESIEA,

                Add to Reading List

                Source URL: www.dmtcs.org

                - Date: 2005-10-17 15:50:33
                  59FSTTCS  th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS

                  FSTTCS  th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS

                  Add to Reading List

                  Source URL: www.fsttcs.org

                  - Date: 2016-06-06 10:09:04
                    60List of research papers and citations Journals 1. A note on contracting claw-free graphs coauthored with Marcin Kami´ nski, and Dani¨el Paulusma, Discrete Mathematics and Theoretical Computer Science 15, ),

                    List of research papers and citations Journals 1. A note on contracting claw-free graphs coauthored with Marcin Kami´ nski, and Dani¨el Paulusma, Discrete Mathematics and Theoretical Computer Science 15, ),

                    Add to Reading List

                    Source URL: kam.mff.cuni.cz

                    - Date: 2013-09-27 02:47:45